Перевод: с английского на русский

с русского на английский

функциональная верификация

См. также в других словарях:

  • верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения — Терминология ГОСТ Р МЭК 61508 4 2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа: 3.7.4 анализ влияния (impact analysis) …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р ИСО 14050-2009: Менеджмент окружающей среды. Словарь — Терминология ГОСТ Р ИСО 14050 2009: Менеджмент окружающей среды. Словарь оригинал документа: 5.9 аккредитация (accreditation): Подтверждение третьей стороной компетентности органа по валидации или верификации (5.6), официально заявляющего о своей …   Словарь-справочник терминов нормативно-технической документации

  • оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств …   Словарь-справочник терминов нормативно-технической документации

  • функция — 2.1 функция (function): Реализация в программе алгоритма, по которому пользователь или программа могут частично или полностью выполнять решаемую задачу. Примечания 1 Пользователю нет необходимости вызывать функцию (например, автоматическое… …   Словарь-справочник терминов нормативно-технической документации

  • ГОСТ Р МЭК 62340-2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине — Терминология ГОСТ Р МЭК 62340 2011: Атомные станции. Системы контроля и управления, важные для безопасности. Требования по предотвращению отказов по общей причине оригинал документа: 3.25 валидация (validation): Процесс определения того,… …   Словарь-справочник терминов нормативно-технической документации

  • Мезенхимальные диспротеинозы — (сосудисто стромальные диспротеинозы) дисметаболические (дистрофические) процессы, характеризующиеся преимущественным нарушением белкового обмена и первично развивающиеся в строме органов. Традиционно наряду с мезенхимальными диспротеинозами как… …   Википедия

  • валидация — 4.54 валидация (validation): Подтверждение (на основе представления объективных свидетельств) того, что требования, предназначенные для конкретного использования или применения, выполнены [3]. Примечание Валидация в контексте жизненного цикла… …   Словарь-справочник терминов нормативно-технической документации

  • ИНТЕРПРЕТАЦИЯ —         1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержат, знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и смыслосчитывающая операции, изучаемые в семантике и… …   Энциклопедия культурологии

  • разработчик — 4.10 разработчик (developer): Организация, которая выполняет разработку задач (в том числе анализ требований, проектирование, приемочные испытания) в процессе жизненного цикла. Примечание В настоящем стандарте термины «разработчик» и… …   Словарь-справочник терминов нормативно-технической документации

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»